Logic and Equivalence in the Presence of Garbage Collection. To appear in Theoretical Computer Science special issue on Foundations. References External links Richard Bornat (home page) Page at Middlesex University 1944 births English computer scientists English non-fiction writers Academics of Queen Mary University of London Academics of Middlesex University Formal methods people Living people English male non-fiction writers