An iterator construct for the refinement calculus (2000)

by Steve King, Carroll Morgan
Venue:In Fourth Irish Workshop on Formal Methods