Book

Provably Correct Systems

by Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog