Mind the Gap! Abstract Versus Concrete Models of Specifications.

Donald Sannella, Andrzej Tarlecki

Browse the full MFCS paper archive.