@inproceedings{100cc7164948448a918fe8125c4de310,
title = "Induction and recursion on datatypes",
author = "H. Doornbos and R.C. Backhouse",
year = "1995",
doi = "10.1007/3-540-60117-1_14",
language = "English",
isbn = "3-540-60117-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "242--256",
editor = "B. M{\"o}ller",
booktitle = "Mathematics of Program Construction (Proceedings 3rd International Conference, MPC'95, Kloster Irsee, Germany, July 17-21, 1995)",
address = "Germany",
}