Proving Algorithms by Tail Functions

Antoni W. Mazurkiewicz. Proving Algorithms by Tail Functions. Inf. Comput., 18(3):220-226, April 1971.

@article{Mazurkiewicz71,
  title = {Proving Algorithms by Tail Functions},
  author = {Antoni W. Mazurkiewicz},
  year = {1971},
  month = {April},
  researchr = {https://researchr.org/publication/Mazurkiewicz71},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {18},
  number = {3},
  pages = {220-226},
}