APA (7th ed.) Citation

(1996). Piton: A mechanically verified assembly-level language / by J. Strother Moore.

Chicago Style (17th ed.) Citation

Piton: A Mechanically Verified Assembly-level Language / by J. Strother Moore. 1996.

MLA (9th ed.) Citation

Piton: A Mechanically Verified Assembly-level Language / by J. Strother Moore. 1996.

Warning: These citations may not always be 100% accurate.