Zinovy Diskin, Boris Kadish and Frank Piessens
Humans, Computers, Specifications
The Arrow Logic of Information System Engineering
