@inproceedings{TimpfKuhn2019,
  author    = {Sabine Timpf and Werner Kuhn},
  title     = {Functional specifications of multilevel highway navigation [extended abstract]},
  booktitle = {Workshop on Functional and Logic Programming in Benicassim, Benicassim, Spain, 2000},
  editor    = {Maria Alpuente Frasnedo},
  pages     = {480 -- 485},
  year      = {2019},
}