Holger Bär: Statische Verifikation von Softwareprotokollen. Karlsruhe Institute of Technology 2005, ISBN 3-86582-141-3, 1-176