Programming with Specifications (1990)

by D Luckham
Venue:Texts and Monographs in Computer Science