@inproceedings{PASTE-2002-ChelfEH,
	author        = "Benjamin Chelf and Dawson R. Engler and Seth Hallem",
	booktitle     = "{Proceedings of the Fourth Workshop on Program Analysis for Software Tools and Engineering}",
	doi           = "10.1145/586094.586097",
	pages         = "51--60",
	publisher     = "{ACM}",
	title         = "{How to write system-specific, static checkers in metal}",
	year          = 2002,
}