Kate Finney: Mathematical Notation in Formal Specification: Too Difficult for the Masses? IEEE Trans. Software Eng. 22(2): 158-159 (1996)