Programming with specifications (1990)

by D Luckham
Venue:Texts and Monographs in Computer Science