journal articleLitStream CollectionGuest Editorial…Yeh, Raymond T.1976 ACM Computing Surveys (CSUR)doi: 10.1145/356674.356675pmid: N/A
journal articleLitStream CollectionData Flow Analysis in Software ReliabilityFosdick, Lloyd D.; Osterweil, Leon J.1976 ACM Computing Surveys (CSUR)doi: 10.1145/356674.356676pmid: N/A
journal articleLitStream CollectionAn Introduction to Proving the Correctness of ProgramsHantler, Sidney L.; King, James C.1976 ACM Computing Surveys (CSUR)doi: 10.1145/356674.356677pmid: N/A