Nielson, F. Design, Analysis and Reasoning about Tools: Abstracts from the Second Workshop (Aalborg, 1992, 20-21 August). DPB 1992, 21.