Specifications as spans of geometric morphisms (1996)

by Till Plewe
Venue:In Third Theory and Formal Methods Workshop. IC