Two-Categories and Program Structure: Data Types, Refinement Calculi, and Predicate Transformers (1992)

by D A Naumann