APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Moore, J Strother. Piton: A Mechanically Verified Assembly-Level Language. Dordrecht: Springer Netherlands, 1996.

MLA (8th ed.) Citation

Moore, J Strother. Piton: A Mechanically Verified Assembly-Level Language. Springer Netherlands, 1996.

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