STAIRS towards formal design with sequence diagrams
Software & Systems Modeling (2005) - Comments
doi: 10.1007/s10270-005-0087-0  issn: 1619-1366  issn: 1619-1374 

Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen