APA (7th ed.) Citation

Basin, D. A., Giunchiglia, F., & Traverso, P. (1991). Automating meta-theory creation and system extension.

Chicago Style (17th ed.) Citation

Basin, David A., Fausto Giunchiglia, and Paolo Traverso. Automating Meta-theory Creation and System Extension. Edinburgh, 1991.

MLA (9th ed.) Citation

Basin, David A., et al. Automating Meta-theory Creation and System Extension. 1991.