Rapid prototyping for algebraic specifications RAP system user's manual - Hußmann, Heinrich 1959-2022 (Universität <Passau>, 1985)