Automated Verification of Concurrent Search StructuresSiddharth Krishna, Nisarg Patel, Dennis Elliott Shasha, Thomas Wies · First published 2021Open the Tome
Doctor Ecco's CyberpuzzlesDennis Elliott Shasha, Dennis E. Shasha · First published 2004Open the Tome