@inproceedings{inproceedings4ea8583f,
title   = {Piecewise testable events},
author = {Simon, Imre},
year = {1975},
publisher = {Springer},
booktitle   = {GI Conference: Automata Theory and Formal Languages:}
}