"Programming with Mathematical Thinking."

Satoru Takasu, Takako Nakahara (1983)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics