@inproceedings{TFPIE-2013-Caldwell,
	author        = "James Caldwell",
	booktitle     = "{Proceedings of the Second International Workshop on Trends in Functional Programming in Education}",
	doi           = "10.4204/EPTCS.136.2",
	pages         = "16--26",
	series        = "{EPTCS}",
	title         = "{Structural Induction Principles for Functional Programmers}",
	volume        = 136,
	year          = 2013,
}