H. Nielson, F. Nielson, and X. Li. Programming Languages with Applications to Biology and Security, volume 9465 of Lecture Notes in Computer Science, page 47-65. Springer, (2015)
H. Nielson, and F. Nielson. Theories of Programming and Formal Methods, volume 8051 of Lecture Notes in Computer Science, page 285-303. Springer, (2013)