APA (7th ed.) Citation

Moore, J. S. (1996). Piton: A mechanically verified assembly-level language. Kluwer Academic Publishers.

Chicago Style (17th ed.) Citation

Moore, J Strother. Piton: A Mechanically Verified Assembly-level Language. Dordrecht ; Boston: Kluwer Academic Publishers, 1996.

MLA (9th ed.) Citation

Moore, J Strother. Piton: A Mechanically Verified Assembly-level Language. Kluwer Academic Publishers, 1996.