@inproceedings{glesner/zimmer97,
        author = {Sabine Glesner and Wolf Zimmermann},
        title = {{Using Many-Sorted Natural Semantics to Specify and
                  Generate Semantic Analysis}},
        year = 1998,
        booktitle = {{Proceedings of the Systems Implementation
                  Conference (SI2000)}},
        publisher = {{Chapman \& Hall}},
        address = {{Berlin}},
}