Wim H. Hesselink Refinement verification of the lazy caching algorithm. 195-222 2006 43 Acta Inf. 3 http://dx.doi.org/10.1007/s00236-006-0020-1 db/journals/acta/acta43.html#Hesselink06a