Specification Case Studies In Raise door Springer-Verlag & R. Moore Janowski