Algebraic specifications with partially ordered sorts and declarations - Gogolla, Martin (Universität <Dortmund> / Abteilung Informatik: Forschungsbericht, 1983)