@article{DM:SCP06,
	author          = {Arie van Deursen and Leon Moonen},
	title           = {Documenting Software Systems Using Types},
	journal         = {Science of Computer Programming},
	year            = {2006},
	month           = {April},
	volume          = {60},
	number          = {2},
	pages           = {205--220},
	issn            = {0167-6423},
	url             = {http://www.st.ewi.tudelft.nl/~arie/papers/types/scp2006.pdf},
	project         = {Reconstructor},
	topic           = {Software Evolution},
	group           = {SE}
}