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