Text this: Language Design for Reliable Software (1977)