Mikhail Auguston Writing and Verifying Sequential Files Updating Programs. 102-111 1978 conf/mfcs/1978 MFCS db/conf/mfcs/mfcs78.html#Auguston78 http://dx.doi.org/10.1007/3-540-08921-7_59