Formal specification and design - Feijs, L. M. G.; Jonkers, H. B. M. (Great Britain Cambridge University Press, 1992)
Keywords: Programming languages (Electronic computers)