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,
}











