@article{LDTA-2008-FokkerS09,
	author        = "Jeroen Fokker and S. Doaitse Swierstra",
	doi           = "10.1016/j.entcs.2009.09.044",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	number        = 5,
	pages         = "117--133",
	title         = "{Abstract Interpretation of Functional Programs using an Attribute Grammar System}",
	volume        = 238,
	year          = 2009,
}