@Article{DBW97,
    Author       = "Doornbos, H. and Backhouse, R. and van der Woude, J.",
    Year         = "1997",
    Title        = "{A Calculational Approach to Mathematical Induction}",
    Journal      = "Theoretical Computer Science",
    Volume       = "179",
    Pages        = "103-135",
    Comment      = "TPTPRef"
}