Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday - Bodei, Chiara; Ferrari, Gianluigi; Priami, Corrado (Springer International Publishing : Imprint: Springer, 2015)