Abstract specification theory: an overview (2003)

by Andrzej Tarlecki
Venue:Logics of Engineering Software