Title: The Way of Z: Practical Programming with Formal Methods
Description: By Jonathan Jacky; Cambridge University Press, 1997, ISBN 0521559766. Tutorial for experienced professionals, serious students of programming, software engineering, case studies focusing safety-critical systems. [Cambridge University Press]