POSIX file store in Z/Eves: An experiment in the verified software repository - Freitas, Leo; Woodcock, Jim; Fu, Zheng (Science of Computer Programming, 2009)