F VDM.DVI;1                         	vdm.dvi
F VDM.TEX;1                         	vdm.tex