@inproceedings{MV76a,
  year      = {1976},
  author    = {Lambert Meertens and Hans van Vliet},
  title     = {Repairing the parenthesis skeleton of {A}{L}{G}{O}{L} 68 programs: proof of correctness},
  booktitle = {Proc. the 1975 International Conf. on {A}{L}{G}{O}{L} 68},
  editor    = {G.E. Hedrick},
  pages     = {99--117},
  publisher = {Oklahoma State University, Stillwater},
  pubcat    = {conference},
}