Title: Predicative programs and paradigms
First published: 1985