TY  - BOOK
AU  - Kosy,Donald W.
TI  - Approaches to improved program validation through programming language design
T2  - The Rand paper series
PY  - 1972///
CY  - California
PB  - Rand Corporation
N1  - Includes bibliographical references
ER  -