F. Nielson, “Design, Analysis and Reasoning about Tools: Abstracts from the Third Workshop”, DPB, vol. 22, no. 457, Oct. 1993.