@TECHREPORT{NWPT01,
key    = {NWPT01},
title  = {{T}he 13th {N}ordic {W}orkshop on {P}rogramming {T}heory ({NWPT}'01)},
institution = {Technical University of Denmark},
note = {Michael R. Hansen (editor)},
number = {IMM-TR-2001-12},
place = {Lyngby},
year = {2001},
month = oct,

}