|
425
|
Institutions: Abstract model theory for specification and programming
– J A Goguen, R M Burstall
- 1992
|
|
369
|
Category Theory for Computing Science
– M Barr, C Wells
- 1990
|
|
155
|
The semantics of Clear, a specification language
– R M Burstall, J A Goguen
- 1979
|
|
41
|
A study in the foundations of programming methodology: Specifications, institutions, charters and parchments
– Joseph A Goguen, R M Burstall
- 1986
|
|
42
|
Axioms for abstract model theory
– Jon Barwise
- 1974
|
|
34
|
Categorical foundations for general systems theory
– J Goguen
- 1973
|
|
816
|
Categories for the Working Mathematician
– S Mac Lane
- 1998
|
|
93
|
F.: Graph processes
– A Corradini, U Montanari, Rossi
- 1996
|
|
72
|
Types as theories
– Joseph Goguen
- 1991
|
|
53
|
Computational Category Theory
– David E Rydeheard, Rod M Burstall
- 1988
|
|
909
|
Introduction to Lattices and Order
– B A Davey, H A Priestley
- 1990
|
|
99
|
Using ViewPoints for Inconsistency Management
– Steve Easterbrook, Bashar Nuseibeh
- 1996
|
|
255
|
A Useful Four-Valued Logic
– N Belnap
- 1977
|
|
66
|
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints
– Steve Easterbrook, Marsha Chechik
- 2001
|
|
1341
|
Object-oriented Software Construction
– Bertrand Meyer
- 2004
|
|
15
|
Using Limits of Parchments to Systematically Construct Institutions of Partial Algebras
– Till Mossakowski
- 1996
|
|
160
|
General logics
– J Meseguer
- 1989
|
|
45
|
Bits and pieces of the theory of institution
– Andrzej Tarlecki
|
|
29
|
Describing, structuring and implementing objects
– Jose Fiadeiro, Tom Maibaum
- 1990
|
