Home›Books›Derek AndrewsDerek AndrewsNo biography available.Works (4)Computing for non-scientific applications1987A theory and practice of program development1997Practical formal methods with VDM1991Formal methods in standards