On the composition of non-parahalting macro instructions (1998)

by Piotr Rudnicki
Venue:Journal of Formalized Mathematics