Checking the correctness of memories (1994)

by M Blum, W S Evans, P Gemmell, S Kannan, M Naor
Venue:Algorithmica