Andrzej Tarlecki
Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft
ESOP, 1992.
@inproceedings{ESOP-1992-Tarlecki, author = "Andrzej Tarlecki", booktitle = "{Proceedings of the Fourth European Symposium on Programming}", doi = "10.1007/3-540-55253-7_27", editor = "Bernd Krieg-Brückner", isbn = "3-540-55253-7", pages = "451--472", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft}", volume = 582, year = 1992, }