Conditional branch macro instructions of SCM+FSA (1997)

by N Asamoto
Venue:Part II; Formalized Mathematics