Preface. - Sebastiaan van Vlijmen (Algebraic Specification in Action, 1999)

Engineering, Software and Hypotheses. - Sebastiaan van Vlijmen (Algebraic Specification in Action, 1999)

Conclusion. - Sebastiaan van Vlijmen (Algebraic Specification in Action, 1999)

The Vital Processor Interlocking. - Sebastiaan van Vlijmen; Jan Friso Groote; Wilco Koorn (Algebraic Specification in Action, 1999)

The Compact Dynamic Bus Station. - Sebastiaan van Vlijmen; Steven Klusener; Alexander Schrijver (Algebraic Specification in Action, 1999)

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

A Semantic Approach to Protocold. - Sebastiaan van Vlijmen; Jos van Wamel (Algebraic Specification in Action, 1999)

Epitomes of Four other Cases. - Sebastiaan van Vlijmen (Algebraic Specification in Action, 1999)

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