Sciweavers

48
Voted
BIRTHDAY
2006
Springer
15 years 1 months ago
Horizontal Composability Revisited
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...
Donald Sannella, Andrzej Tarlecki