The limits of correctness

Brian Cantwell Smith
1985 Computers & society  
doi:10.1145/379486.379512 fatcat:2wclmfgvmzgcbo2covsk5g7mja