CASYS
International Journal of Computing Anticipatory Systems
Marnes Augusto Hofi, Karina Girardi Roggia and Paulo Blauth Menezes
Composition of Transformations: A Framework for Systems with Dynamic Topology
Zinovy Diskin, Boris Kadish and Frank Piessens
Humans, Computers, Specifications
The Arrow Logic of Information System Engineering