@article{Stearns:Regularity:DPDA:IC:1967,
    Author = {Stearns, R.E.},
    File = {A regularity test for pushdown machines - Stearns (0) (1) - a - a - i.pdf},
    ISSN = {0019-9958},
    Journal = {Information and Control},
    Number = {3},
    Pages = {323 - 340},
    Title = {A regularity test for pushdown machines},
    URL = {http://www.sciencedirect.com/science/article/pii/S0019995867905918},
    Volume = {11},
    Year = {1967},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0019995867905918},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0019-9958(67)90591-8},
    date-added = {2014-03-27 13:26:00 +0000},
    date-modified = {2020-06-11 09:32:38 +0200},
    doi = {10.1016/S0019-9958(67)90591-8}
}

@article{Stearns:Regularity:DPDA:IC:1967, Author = {Stearns, R.E.}, File = {A regularity test for pushdown machines - Stearns (0) (1) - a - a - i.pdf}, ISSN = {0019-9958}, Journal = {Information and Control}, Number = {3}, Pages = {323 - 340}, Title = {A regularity test for pushdown machines}, URL = {http://www.sciencedirect.com/science/article/pii/S0019995867905918}, Volume = {11}, Year = {1967}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0019995867905918}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0019-9958(67)90591-8}, date-added = {2014-03-27 13:26:00 +0000}, date-modified = {2020-06-11 09:32:38 +0200}, doi = {10.1016/S0019-9958(67)90591-8} }