Gogolla. On Parametric Algebraic Specifications with Clean Error Handling. Springer Berlin Heidelberg, 1987, doi:10.1007/3-540-17660-8_49.