(1991). Logical frameworks: [papers presented at the first annual Workshop "Logical Frameworks: Design, Implementation and Experiment" at Sophia-Antipolis, France from the 7th to the 11th of May, 1990] (1. publ.). Cambridge Univ. Press.
Chicago-Zitierstil (17. Ausg.)Logical Frameworks: [papers Presented at the First Annual Workshop "Logical Frameworks: Design, Implementation and Experiment" at Sophia-Antipolis, France from the 7th to the 11th of May, 1990]. 1. publ. Cambridge [u.a.]: Cambridge Univ. Press, 1991.
MLA-Zitierstil (9. Ausg.)Logical Frameworks: [papers Presented at the First Annual Workshop "Logical Frameworks: Design, Implementation and Experiment" at Sophia-Antipolis, France from the 7th to the 11th of May, 1990]. 1. publ. Cambridge Univ. Press, 1991.