Mattias Werner
- Online Documentation V2.1
Bremen Institute of Safe Systems (BISS)
Center for Computing Technology (TZI)
University of Bremen, 1998