Notices of the American Mathematical Society | Monthly Notices of the Royal Astronomical Society |
Gio Wiederhold and John Ehrman, "Inferred SYNTAX and SEMANTICS of PL/S", Proceedings of the SIGPLAN symposium on Languages for system implementation 1971, in SIGPLAN Notices 6(10) October 1971