T. S. E. Maibaum Editorial. 243-245 1992 2 J. Log. Comput. 3 db/journals/logcom/logcom2.html#Maibaum92