History

for article: McNaughton's theorem