Adriana Bicego M. Jacobone Marco Maiocchi U. Poggi Towards Automation in Software Quality Control: The Case of Products Described by Formal Grammars. 121-128 1986 IFIP Congress db/conf/ifip/ifip86.html#BicegoJMP86