A proof of Simon's theorem on piecewise testable languages
scientific article; zbMATH DE number 1178081