6

Category Theory for the Configuration of Complex Systems
– Gillian Hill
 1993

2

A Logical Approach to System Construction
– Gillian Hill
 1995

4

A Language for System Configuration
– Gillian Hill
 1993

8

Monads for which structures are adjoint to units (version 3
– A Kock
 1995

9

Systems Construction and Analysis: A
– N Fenton, G Hill
 1993

25

Hierarchical control of discreteevent systems. Discrete Event Dynamic Systems 6
– K C Wong, W M Wonham
 1995

57

Anticipatory Systems: Philosophical, Mathematical, and Methodological foundations
– R Rosen
 1985

1

Commutative diagrams and tensor calculus in Riemann spaces
– R Mignani, E Pessa, G Resconi
 1993

1

A general system logical theory and its applications to task description for intelligent robots
– A A Petrov, G Resconi, R Faglia, P L Magnani
 1994

4

A general system logical theory
– G Resconi, M Jessel
 1986

28

Abstract Systems Theory
– M D Mesarovic, Y Takahara
 1989

5

Inductive completion of monoidal categories and infinite net computations
– V Sassone, J Meseguer, U Montanari
 1994

2

Algebraic Specification and Formal Methods for Program Development: What are the Real Problems
– D Sannella, A Tarlecki
 1993

3

Algebraic theory of module specifications with constraints
– H Ehrig, F PapisiPresicce, W Fey, E K Blum
 1986

2

Algebraic concepts for software configuration development
– H Ehrig, W Fey, H Hansen, M Lowe, D Jacobs
 1988

2

Algebraic specification of modules and configuration families
– H Ehrig, W Fey, H Hansen, M Lowe, D Jacobs, A Langen
 1988

74

Reusability: The case for objectoriented design
– B MEYER
 1987

8

An Introduction to Formal Specifications of Data Abstractions
– B Liskov, S Zilles
 1979

33

Fermatâ€™s Last Theorem; Genetic introduction to algebraic number theory
– H M Edwards
 1977
