@article{LDTA-2004-Tavernier,
	author        = "Bertrand Tavernier",
	doi           = "10.1016/j.entcs.2004.06.004",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	pages         = "169--172",
	title         = "{Calife: A Generic Graphical User Interface for Automata Tools}",
	volume        = 110,
	year          = 2004,
}