Algebraic calculation of graph and sorting algorithms (1993)

by B Möller
Venue:Formal Methods in Programming and Their Applications, volume 735 of Lecture Notes in Computer Science