Leo Freitas Zheng Fu Jim Woodcock POSIX file store in Z/Eves: an experiment in the verified software repository. 3-14 2007 conf/iceccs/2007 ICECCS http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.36 db/conf/iceccs/iceccs2007.html#FreitasFW07