Vitaly Ocheretny

title	ISBN-13 (ISBN-10)	year of publica- tion	other author(s)
New Methods of Concurrent Checking	978-1-4O2O-8419-5 (1-4O2O-8419-6)	2008	Michael Gössel · Egor Sogomonyan · Daniel Marienfeld