Programming Languages with Applications to Biology and Security - Bodei; Ferrari, Gianluigi; Priami, Corrado (Springer International Publishing, 2015)