NATS Project: Collaborative Research Toward the Development of a Certified Subroutine Library.

db/journals/sigmod/NATS72.html NATS Project: Collaborative Research Toward the Development of a Certified Subroutine Library. 15 sigmodR/04-1/P015.pdf 1972 4 FDT - Bulletin of ACM SIGFIDET 1 db/journals/sigmod/sigmod4.html#NATS72