Title: U. C. S. D. PASCAL
First published: April 1983