High integrity systems.
Oxford : Oxford University Press,
1994-
Computer software
Computers