On the composition of macro instructions of standard computers (0)

by Artur Korniłowicz
Venue:Formalized Mathematics