Piton: A Mechanically Verified Assembly-Level Language. Automated Reasoning Series (1996)

by J Strother Moore