@inproceedings{4557585c375d4e418bc276d3b515f129,
title = "Rapid prototyping in the OBJ executable specification language",
author = "Joseph Goguen and Jose Meseguer",
note = "Funding Information: Supported by Office of Naval Research Contract No. N00014-80-0296.; Workshop on Rapid Prototyping 1982 ; Conference date: 19-04-1982 Through 21-04-1982",
year = "1982",
month = apr,
day = "19",
doi = "10.1145/1006259.1006273",
language = "English (US)",
series = "Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering",
publisher = "Association for Computing Machinery",
pages = "75--84",
booktitle = "Proceedings of the Workshop on Rapid Prototyping",
address = "United States",
}