Formal specification and design - Feijs, L. M. G. (Cambridge University Press, 1992)
Title from publisher's bibliographic system (viewed on 05 Oct 2015)