The SCMPDS computer and the basic semantics of its instructions (1999)

by Jing-Chao Chen
Venue:Journal of Formalized Mathematics