@inbook {naur_intuition_1985,
	title = {Intuition in {Software} {Development}},
	booktitle = {Formal {Methods} and {Software} {Development}},
	year = {1985},
	note = {n/a},
	publisher = {Springer},
	organization = {Springer},
	address = {Berlin},
	abstract = {n/a},
	author = {Naur, P.},
	editor = {Ehling, H.}
}
