Semantics and implementation of prefixing at many levels. - W. W. Bartol; Antoni Kreczmar; A. I. Litwiniuk; H. Oktaba (Logic of Programs, 1980)