394

Category Theory for Computing Science
– Michael Barr, Charles Wells
 1990

474

Institutions: abstract model theory for specification and programming
– J A Goguen, R M Burstall
 1992

43

R.: A study in the foundations of programming methodology: Specifications, institutions, charters and parchments
– Burstall J Goguen
 1986

45

Axioms for abstract model theory
– K J Barwise
 1974

37

Categorical foundations for general systems theory
– J Goguen
 1973

930

Categories for the Working Mathematician
– S Mac Lane
 1971

101

Graph processes
– A Corradini, U Montanari, F Rossi
 1996

72

Types as theories
– Joseph Goguen
 1991

75

Reusing and interconnecting software components
– J Goguen
 1986

103

Using ViewPoints for Inconsistency Management
– Steve Easterbrook, Bashar Nuseibeh
 1996

72

A Framework for MultiValued Reasoning over Inconsistent Viewpoints
– Steve Easterbrook, Marsha Chechik
 2001

55

Computational category theory
– David E Rydeheard, Rodney M Burstall
 1988

1065

Introduction to lattices and order
– B A Davey, H A Priestley
 2002

291

A useful fourvalued logic
– N Belnap
 1977

161

The semantics of Clear, a specification language
– R M Burstall, J A Goguen
 1980

1441

Objectoriented Software Construction
– Bertrand Meyer
 2004

6

R.Burstall, "Institutions: Abstract Model Theory for Specification and Programming
– J Goguen
 1992

4

and G.Winskel, "A Classification of Models for Concurrency
– M Nielsen V Sassone
 1993

173

Introduction to the Algebraic Theory of Graph Grammars
– H Ehrig
 1979
