Brian Ritchie
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
The Design and Implementation of an Interactive Proof Editor
Brian Ritchie (1988)
The interactive proof editor
Brian Ritchie and others (1988) · An experiment in interactive theorem proving. In G Birtwistle and P A Subrahmanyam, editors, Current Trends in Hardware Verification and Automated Theorem Proving, pages 303–322, New York, 1988. Springer Verlag