Portable systems language written as a super-Pascal writing Lambda-machine code
References:
Thalmann, D.; Levrat, B. "SPIP: a way of writing portable operating systems" pp451-460. view details in Proceedings of the Fifth International Computer Symposium, 1977 view details