2022-03-022022-03-021998https://publica.fraunhofer.de/handle/publica/134558Second Workshop on Rigorous Object Oriented Methods 1998. ROOM 2