Nielson, F. “Design, Analysis and Reasoning about Tools: Abstracts from the Second Workshop (Aalborg, 1992, 20-21 August)”. DAIMI Report Series, vol. 21, no. 417, Sept. 1992, doi:10.7146/dpb.v21i417.6730.