The loop and times macroinstruction for SCM+FSA (1997)

by N Asamoto
Venue:Formalized Mathematics