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.