The synthesis of digital machines with provable epistemic properties (1992)

by World Scientific