Publications

Recursion in logics of programs

• • David Harel
• 1979
• POPL 1979