F. Nielson, “Design, analysis and Reasoning about Tools: Abstracts from the Second Workshop (Aalborg, 1992, 20-21 August)”, DPB, vol. 21, no. 417, Sep. 1992.