Thomas Kropf: Appendix: The Common Book Examples. Formal Hardware Verification 1997: 330-367