1. Domain theory;Abramsky,1994
2. Algebraic principles for rely-guarantee style concurrency verification tools;Armstrong,2014
3. Algebras for program correctness in Isabelle/HOL;Armstrong,2014
4. Automated reasoning in higher-order regular algebra;Armstrong,2012
5. Programming and automating mathematics in the Tarski–Kleene hierarchy;Armstrong;J. Log. Algebr. Methods Program.,2014