Safer C: Developing Software for High-Integrity and Safety-Critical Systems heftetEngelsk, 1994