Harold Ossher. Specifying the structure of large, layered, object-oriented programs (abstract only). SIGPLAN Notices, 21(10):188, 1986. [doi]
@article{Ossher86a, title = {Specifying the structure of large, layered, object-oriented programs (abstract only)}, author = {Harold Ossher}, year = {1986}, doi = {10.1145/323648.323769}, url = {https://doi.org/10.1145/323648.323769}, researchr = {https://researchr.org/publication/Ossher86a}, cites = {0}, citedby = {0}, journal = {SIGPLAN Notices}, volume = {21}, number = {10}, pages = {188}, }