Joachim Fischer, Eckhardt Holz, Martin von Löwis, Andreas Prinz. SDL-2000: A Language with a Formal Semantics. In Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000. Workshops in Computing, BCS, 2000. [doi]
@inproceedings{FischerHLP00,
title = {SDL-2000: A Language with a Formal Semantics},
author = {Joachim Fischer and Eckhardt Holz and Martin von Löwis and Andreas Prinz},
year = {2000},
url = {http://ewic.bcs.org/conferences/2000/objectmethods/papers/paper3.htm},
tags = {semantics, formal semantics},
researchr = {https://researchr.org/publication/FischerHLP00},
cites = {0},
citedby = {0},
booktitle = {Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000},
series = {Workshops in Computing},
publisher = {BCS},
}