Proving correctness of constructor implementations (1989)

by J Farr'es-Casals
Venue:Proc. 1989 Symp. on Mathematical Foundations of Computer Science. LNCS 379