@article{journals/tse/Pashtan85,
	title = {Operating System Models in a Concurrent Pascal Environment: Complexity and Performance Considerations.},
	author = {Ariel Pashtan},
	journal = {IEEE Trans. Software Eng.},
	number = {1},
	pages = {136-141},
	url = {http://dblp.uni-trier.de/db/journals/tse/tse11.html#Pashtan85},
	volume = {11},
	year = {1985},
	biburl = {http://www.bibsonomy.org/bibtex/2799cb384ca8495a9ee1c34e2135bcd10/dblp},
	description = {dblp},
	date = {2003-11-19},
	keywords = {dblp }
}