B. B. Kristensen, O. L. Madsen, and B. B. Jensen, “A PASCAL Environment Machine (P-code)”, DPB, vol. 3, no. 28, Apr. 1974.