Efficient annotated terms. Software—Practice and Experience (2000)

by M G J van den Brand, H A de Jong, P Klint, P A Olivier