Lamport, Turing 7 December 201419 March 2014 by Bertrand Meyer Some of his articles are well known but many gems are not; see for example his take on Buridan’s Ass.