Rapid prototyping for algebraic specifications examples for the use of the RAP system - Geser, Alfons; Hußmann, Heinrich 1959-2022 (Universität <Passau>, 1985)