Drawing Programs The Theory And Practice Of Schematic Functional Programming Security For Mobility - Addis T.; Addis T. & Addis J. (Springer, 2010)