APA (7th ed.) Citation

Singleton, V., & Saxton, L. (2014). Logic programming & type theory [. College Publishing House.

Chicago Style (17th ed.) Citation

Singleton, Velva, and Liza Saxton. Logic Programming & Type Theory [. New York: College Publishing House, 2014.

MLA (9th ed.) Citation

Singleton, Velva, and Liza Saxton. Logic Programming & Type Theory [. College Publishing House, 2014.

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