J. M. Wing, “A Specifier, Introduction to Formal Methods,” Computer Journal, Vol. 23, No. 9, 1990, pp. 8-24. doi:0.1109/2.58215.
has been cited by the following article: