1. Back, R. J. R., Anna Mikhajlova, and Joakim von Wright, Reasoning about interactive systems. In Jeannette M. Wing, Jim Woodcock, and Jim Davies, (eds.), World Congress on Formal Methods, vol. 1709 of Lecture Notes in Computer Science, Springer, 1999, pp. 1460–1476.
2. Back, R. J. R., and Joakim von Wright, Refinement calculus. A systematic introduction. Springer, 1998.
3. Celiku, Orieta, and Joakim von Wright, Implementing angelic nondeterminism. In APSEC, IEEE Computer Society, 2003, pp. 176–185.
4. Cohen, Ernie, Separation and reduction. in Roland Carl Backhouse, and José Nuno Oliveira, (eds.), MPC, vol. 1837 of Lecture Notes in Computer Science, Springer, 2000, pp. 45–59.
5. Desharnais, Jules, Bernhard Möller, Georg Struth : Kleene algebra with domain. ACM Trans. Comput. Log. 7(4), 798–833 (2006)