@Article{Thatcher70,
  author = "James W. Thatcher",
  title = "Generalized Sequential Machine Maps",
  journal = "Journal of Computer and System Sciences",
  volume = 4,
  pages = "339--367",
  year = 1970
}