Jean-Raymond Abrial
-
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software
The essence of computation