@inproceedings{ITiCSE-2006-Bozic,
	author        = "Vladan Bozic",
	booktitle     = "{Proceedings of the 11th Conference on Innovation and Technology in Computer Science Education}",
	doi           = "10.1145/1140124.1140273",
	isbn          = "1-59593-055-8",
	pages         = "362",
	publisher     = "{ACM}",
	title         = "{Application of finite state automata to the bakery algorithm in critical section modeling}",
	year          = 2006,
}