Dwight Lewis Spencer
-
Parameters And Parametrization In Specification, Using Distributive Categories
Fundamenta Informaticae