Piton A Mechanically Verified Assembly-Level Language - Moore, J Strother (Springer Netherlands, 1996)