History

for article: Rice's theorem