ATLAS: a typed language for algebraic specification - B. M. Hearn; Karl Meinke (Forschungsberichte, TU Munich, 1993)