Joachim Fischer Eckhardt Holz Martin von Löwis Andreas Prinz SDL-2000: A Language with a Formal Semantics. 2000 conf/room/2000 Rigorous Object-Oriented Methods http://ewic.bcs.org/conferences/2000/objectmethods/papers/paper3.htm db/conf/room/room2000.html#FischerHLP00