Program specification and data refinement in type theory (1993)

by Zhaohui Luo
Venue:Mathematical Structures in Computer Science