Provably Correct Systems

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