Systematisches Programmieren - nidottu, Saksa, 1993