IEEE/ANS 7-4.3.2. (1982)-Aplikační kritéria pro programovatelné digitální počítačové systémy v bezpečnostních systémech jaderných elektráren . 20 s . [1, z toho volných 1]