Algebraic specifications with partially ordered sorts and declarations - Gogolla, Martin (1983)