Road Traffic Regulation. - Sebastiaan van Vlijmen; Arjan van Waveren (Algebraic Specification in Action, 1999)

The Generic Structure Editor. - Sebastiaan van Vlijmen; Arjan van Waveren; Paul Vriend (Algebraic Specification in Action, 1999)