1. Fixed point calculus;Aarts;Inf. Process. Lett.,1996
2. A transformational development of several algorithms for testing the existence of cycles in a directed graph;Berghammer,1986
3. Development of several reachability algorithms for directed graphs;Berghammer,1988
4. Algorithms from relational specification;Berghammer,1997
5. Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem;Berghammer;Sci. Comput. Program.,2000