System correctness. - Alan Ballard; Dennis Tsichritzis (SIGPLAN-SIGOPS Interface Meeting, 1973)