Set theory as a language for program specification and programming (1970)

by Jacob T Schwartz