,
Wiley-Interscience
Software: Practice and Experience
Software Analysis and Transformation

van den Brand, M., Klint, P., de Jong, H., & Olivier, P. (2000). Efficient Annotated Terms. Software: Practice and Experience, 30(2).