Computation of two consecutive program blocks for SCMPDS (1999)

by Jing-Chao Chen
Venue:Journal of Formalized Mathematics