"Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)" - читать интересную книгу автора (J Strother Moore)