The Y programming language
David Roy Hanson · ACM SIGPLAN Notices · 1981
Y is a structured, general-purpose programming language intended for use in simple systems programming applications. More specifically', it is designed for applications similar to those described in the book Software Tools"