Michael J. Butler;Thomas Långbacka
-;-
Mechanised Refinement of Procedures
Electronic Notes in Theoretical Computer Science (ENTCS)