@inproceedings { ,
	title = {Forward Oriented Certification Method for Concurrency Control},
	booktitle = {3rd International Symposium on Computer and Information Sciences, Izmir, Turkey},
	year = {1988},
	month = {01/1988},
	type = {inproceedings},
	author = {Wojciech Cellary}
}
