Barbara H. Liskov and Leroy A. Smith "SPIL: A language for construction of reliable system software" (1973) |
[SIGPLAN] (1973) SIGPLAN Notices 8(09) June 1973 Proceedings of ACM SIGPLAN - SIGOPS interface meeting on Architectural Support for Programming Languages and Operating Systems, Savannah, Georgia, 1973
|
|