Mark van den Brand H. A. de Jong Paul Klint Pieter A. Olivier Efficient annotated terms. 259-291 2000 30 Softw., Pract. Exper. 3 db/journals/spe/spe30.html#BrandJKO00