Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday - Bodei, Chiara. (Springer International Publishing,)