Parameters and parametrization in specification, using distributive categories (1995)

by B Jacobs
Venue:Fundamenta Informaticae