Collaborations between Martin Shafer and John Glover