The appendix for the space programming language demonstrates, on a relatively simple example, the techniques used to designing the far more sophisticated SPLM. The TOY is not a subset of SPLML. It is strongly recommended that the reader who is not familiar with the SPLM design project, read this document carefully. Author
Final rept. Feb 71-Apr 72,
See also Volume 1, AD-743 014. Prepared in cooperation with SIA, Inc., Glenmore, Pa. 19343.