Category-theoretic fibration as an abstraction mechanism in information systems Robert M. ColombC.N.G. DampneyMichael Johnson Original articles Pages: 1 - 44
Correctness of dataflow and systolic algorithms using algebras of streams K. MeinkeL.J. Steggles Original articles Pages: 45 - 88