Jaco Geldenhuys State Caching Reconsidered. 23-38 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2989&spage=23 2004 conf/spin/2004 SPIN db/conf/spin/spin2004.html#Geldenhuys04