@InProceedings{Simon:ATFL:1975,
    doi = {10.1007/3-540-07407-4_23},
    url = {https://doi.org/10.1007%2F3-540-07407-4_23},
    year = {1975},
    publisher = {Springer Berlin Heidelberg},
    pages = {214--222},
    author = {Imre Simon},
    editor = "Brakhage, H.",
    isbn = "978-3-540-37923-2",
    title = {Piecewise testable events},
    booktitle = {Lecture Notes in Computer Science}
}

@InProceedings{Simon:ATFL:1975, doi = {10.1007/3-540-07407-4_23}, url = {https://doi.org/10.1007%2F3-540-07407-4_23}, year = {1975}, publisher = {Springer Berlin Heidelberg}, pages = {214--222}, author = {Imre Simon}, editor = "Brakhage, H.", isbn = "978-3-540-37923-2", title = {Piecewise testable events}, booktitle = {Lecture Notes in Computer Science} }