"An Iterator Construct for the Refinement Calculus."

Steve King, Carroll Morgan (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics