Approaches to improved program validation through programming language design - Kosy, Donald W. (California : Rand Corporation, 1972)
Includes bibliographical references.