- Martin Abadi
- Mike Burrows
- Himabindu Pucha
- Adam Sadovsky
- Asim Shankar
- Ankur Taly
Programming Languages with Applications to Biology and Security, Springer International Publishing Switzerland, Gewerbestrasse 11 CH-6330 Cham (ZG) Switzerland (2015), pp. 10-26