Derivation of graph and pointer algorithms (1993)

by B Möller
Venue:Formal Program Development, Lect. Notes in Comput. Sci. 755, (Springer-Verlag