Leich, et al.. Using Step-wise Refinement to Build a Flexible Lightweight Storage Manager. Springer Berlin Heidelberg, 2005, doi:10.1007/11547686_24.