CASYS
International Journal of Computing Anticipatory Systems
Zinovy Diskin, Boris Kadish et Frank Piessens
Humans, Computers, Specifications
The Arrow Logic of Information System Engineering