John Robert Harrison

Connector for multi passage trunking allowing changeable pathways through connector.

Daniel Richardson, Tom Doherty, George Mark Allen, 2005 .

Theorem proving with the real numbers

John Robert Harrison, J. Harrison, 1998, CPHC/BCS distinguished dissertations.