The algebra of functional programs: Function level reasoning, linear equations, and extended definitions. In: Formalization of Programming Concepts (1981)

by J Backus
Venue:of Lecture Notes in Computer Science