Noam's Website About Software
Computation
Rice's Theorem