Algebraic Specilications with Partially Ordered Sorts and Declarations (1983)

by M GOGOLLA