A design methodology for information processing systems by L.C. Benschop