The construction and shiftability of program blocks for SCMPDS (1999)

by Jing-Chao Chen
Venue:Journal of Formalized Mathematics