F. Nielson, and H. Nielson. Computation, Meaning, and Logic, volume 172 of Electronic Notes in Theoretical Computer Science, page 523-543. Elsevier, (2007)
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)