The specifier's notepad a hypertext system tailored to the design of algebraic specifications - Breu, Ruth; Windl, Hubert (1990)