Book

Correct System Design

by Ernst-Rüdiger Olderog, Bernhard Steffen