@article{GinsburgSpanier:JACM:1965,
  author = {Ginsburg, Seymour and Spanier, Edwin H.},
  title = {Mappings of Languages by Two-Tape Devices},
  year = {1965},
  issue_date = {July 1965},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {12},
  number = {3},
  issn = {0004-5411},
  url = {https://doi.org/10.1145/321281.321294},
  doi = {10.1145/321281.321294},
  abstract = {Several devices with two input lines and one output line are introduced. These devices are viewed as transformations which operate on pairs of (ALGOL-like) languages. Among the results proved are the following: (i) a pair consisting of a language and a regular set is transformed into a language; (ii) let (V, W) be a pair consisting of a language and a regular set. Then the set of those words w1, for which there exists a word w2 in V so that (w1, w2) is mapped into W, is a language.},
  journal = {J. ACM},
  month = {jul},
  pages = {423–434},
  numpages = {12},
  date-added = {2023-11-9 16:4:48 +0100}
}

@article{GinsburgSpanier:JACM:1965, author = {Ginsburg, Seymour and Spanier, Edwin H.}, title = {Mappings of Languages by Two-Tape Devices}, year = {1965}, issue_date = {July 1965}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = {12}, number = {3}, issn = {0004-5411}, url = {https://doi.org/10.1145/321281.321294}, doi = {10.1145/321281.321294}, abstract = {Several devices with two input lines and one output line are introduced. These devices are viewed as transformations which operate on pairs of (ALGOL-like) languages. Among the results proved are the following: (i) a pair consisting of a language and a regular set is transformed into a language; (ii) let (V, W) be a pair consisting of a language and a regular set. Then the set of those words w1, for which there exists a word w2 in V so that (w1, w2) is mapped into W, is a language.}, journal = {J. ACM}, month = {jul}, pages = {423–434}, numpages = {12}, date-added = {2023-11-9 16:4:48 +0100} }