Report Number: CS-TR-75-539
Institution: Stanford University, Department of Computer Science
Title: A new approach to recursive programs.
Author: Manna, Z ohar
Author: Shamir, Adi
Date: December 1975
Abstract: In this paper we critically evaluate the classical least-fixedpoint approach towards recursive programs. We suggest a new approach which extracts the maximal amount of valuable information embedded in the programs. The presentation is informal, with emphasis on examples.
http://i.stanford.edu/pub/cstr/reports/cs/tr/75/539/CS-TR-75-539.pdf