Re nement Calculus, A Systematic Introduction (1998)

by R J R Back, J von Wright