IEEE Std 1023-1988 | Menrva Books