File:A Formal Description of System-360 page 258b.png

A. D. Falkoff, K. E. Iverson, and E. H. Sussenguth, IBM SYSTEMS JOURNAL, VOL. 3, NO. 3, 1964.