doi dblp HIT methodology for complicated data structure design Frantisek Krejcí 1986 Volume 22 Issue 4