Leo Freitas Jim Woodcock Zheng Fu POSIX file store in Z/Eves: An experiment in the verified software repository. 238-257 2009 74 Sci. Comput. Program. 4 http://dx.doi.org/10.1016/j.scico.2008.08.001 db/journals/scp/scp74.html#FreitasWF09