Craig (1991)
Craig I. (1991)
The formal specification of advanced AI architectures
Ellis Horwood