C. Hankin, und P. Malacaria. Computation, Logic, Games, and Quantum Foundations, Volume 7860 von Lecture Notes in Computer Science, Seite 69-82. Springer, (2013)
C. Hankin, R. Nagarajan, und P. Sampath. The Essence of Computation, Volume 2566 von Lecture Notes in Computer Science, Seite 135-156. Springer, (2002)