1. The ABCs of Specification: AsmL, Behavior, and Components;Mike Barnett;Informatica (Slovenia),2001
2. When are Two Algorithms the Same?;Andreas Blass;Bulletin of Symbolic Logic,2009
3. Exact Exploration and Hanging Algorithms;Andreas Blass,2010
4. Ordinary Interactive Small-Step Algorithms, Part I;Andreas Blass;ACM Transactions on Computational Logic,2006
5. Ordinary Interactive Small-Step Algorithms, Part II;Andreas Blass;ACM Transactions on Computational Logic,2007