@article{journals/spe/PashtanU84,
	title = {Resource Monitors: A Design Methodology for Operating Systems.},
	author = {Ariel Pashtan and Elizabeth A. Unger},
	journal = {Softw., Pract. Exper.},
	number = {8},
	pages = {791-806},
	url = {http://dblp.uni-trier.de/db/journals/spe/spe14.html#PashtanU84},
	volume = {14},
	year = {1984},
	biburl = {http://www.bibsonomy.org/bibtex/25d1708a157a0f4ab3a3368e23f48f265/dblp},
	description = {dblp},
	date = {2003-11-25},
	keywords = {dblp }
}