@book{P-4865,
author="Kosy, Donald W.",
title="Approaches to Improved Program Validation through Programming Language  Design.",
address="Santa Monica, CA",
year="1972",
doi="",
publisher="RAND Corporation"
}