@ARTICLE {
	AUTHOR = "Tobias Kuhn and Alexandre Bergel",
	TITLE ="Verifiable Source Code Documentation in Controlled Natural Language",
	JOURNAL = "Science of Computer Programming (SCICO)",
	VOLUME = "96",
	NUMBER = "1",
	PAGES = "121-140",
	MONTH = "Dec",
	YEAR = "2014",
	PUBLISHER = "Elsevier Science",
	ADDRESS = "Amsterdam, The Netherlands",
	ISSN = "0167-6423"
	}