SPIL: A language for construction of reliable system software. - Barbara H. Liskov; Leroy A. Smith (SIGPLAN-SIGOPS Interface Meeting, 1973)