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