@article{dybjersetzer:2003:indrekjour,
author = {Peter Dybjer and Anton Setzer},
title = {Induction-Recursion and Initial Algebras},
journal = {Annals of Pure and Applied Logic},
volume = {124},
year = {2003},
pages = {1 -- 47}
}