NCSC-TG-014: Guidelines for Formal Verification Systems, 1 April 1989. (Purple Book)
You can download it from the following link: https://packetstormsecurity.com/files/download/14004/NCSC-TG-014.txt
Source: https://packetstormsecurity.com/files/14004/NCSC-TG-014.txt.html