Checking the correctness of memories (1991)

by M Blum, W S Evans, P Gemmell, S Kannan, M Naor
Venue:In IEEE Symposium on Foundations of Computer Science