@article{LDTA-2004-BrandIM04a,
	author        = "Mark van den Brand and Jørgen Iversen and Peter D. Mosses",
	doi           = "10.1016/j.entcs.2004.06.002",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	pages         = "177--180",
	title         = "{The Action Environment: — Tool Demonstration --}",
	volume        = 110,
	year          = 2004,
}