| |
Author |
Title |
Year |
Publication  |
Volume |
Pages |
Links |
|
|
Millo, R.A.D.; Lipton, R.J.; Perlis, A.J. |
Social Processes and Proofs of Theorems and Programs |
1979 |
Communications of the ACM |
22 |
271-280 |
|
|
|
Denning, P. |
Awakening |
1988 |
Communications of the ACM |
31 |
1254-1255 |
|
|
|
Devanbu, P.; Brachman, R.J.; Sefridge, P.G.; Ballard, B.W. |
LaSSIE: A Knowledge-Based Software Information System |
1991 |
Communications of the ACM |
34 |
34-49 |
|
|
|
Dijkstra, E. |
Go to Statement Considered Harmful |
1968 |
Communications of the ACM |
11 |
147-148 |
|
|
|
Dijkstra, E.W. |
On the Cruelty of Really Teaching Computer Science |
1989 |
Communications of the ACM |
32 |
1398-1404 |
|
