Foundations of Logic and Functional Programming Workshop Trento, Italy, SpringerLink (Online service), Boscarol, M., Carlucci Aiello, L., & Levi, G. (1988). Foundations of Logic and Functional Programming Workshop: Trento, Italy, December 15-19, 1986 : proceedings. Springer-Verlag.
Chicago Style (17th ed.) CitationFoundations of Logic and Functional Programming Workshop Trento, Italy, SpringerLink (Online service), M. Boscarol, L. Carlucci Aiello, and G. Levi. Foundations of Logic and Functional Programming Workshop: Trento, Italy, December 15-19, 1986 : Proceedings. Berlin ; New York: Springer-Verlag, 1988.
MLA (9th ed.) CitationFoundations of Logic and Functional Programming Workshop Trento, Italy, et al. Foundations of Logic and Functional Programming Workshop: Trento, Italy, December 15-19, 1986 : Proceedings. Springer-Verlag, 1988.