Algebraic calculation of graph and sorting algorithms (1993)

by B Moller
Venue:LNCS 735: Formal Methods in Programming and Their Applications