Antonio L. Furtado T. S. E. Maibaum An Informal Approach to Formal (Algebraic) Specifications. 59-67 1985 28 Comput. J. 1 db/journals/cj/cj28.html#FurtadoM85