1. Information, processes and games;Abramsky,2008
2. Modal Logic;Blackburn,2010
3. On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines;Blum;Bull., New Ser., Am. Math. Soc.,1989
4. The Church-Turing thesis over arbitrary domains;Boker,2008
5. Abstract State Machines: A Method for High-Level System Design and Analysis;Börger,2003