Towards Automation in Software Quality Control: The Case of Products Described by Formal Grammars. - Adriana Bicego; M. Jacobone; Marco Maiocchi; U. Poggi (IFIP Congress, 1986)