Standard Ordering of Instruction Locations (2001)

by P Rudnicki, A Korniłowicz
Venue:Formalized Mathematics