Program Derivation Using the Refinement Calculator (1996)

by Michael Butler, Thomas Långbacka
Venue:Theorem Proving in Higher Order Logics: 9th International Conference, volume 1125 of Lecture Notes in Computer Science