Towards the formal specification of an OPS5 production system architecture. - David I. Gold; Robert T. Plant (Int. J. Intell. Syst., 1994)