@Proceedings{	  ArtemovDiekertGrigoriev2008,
  editor	= "Sergei Artemov and Volker Diekert and Dima Grigoriev",
  title		= "Theory of Computing Systems: {S}pecial Issue of the 1st
		  International Symposium on Computer Science in Russia, St.
		  Petersburg 2006, Proceedings",
  publisher	= "Springer",
  journal	= "Theory of Computing Systems",
  volume	= "43",
  number	= "2",
  year		= "2008",
  doi		= "10.1007/s00224-007-9063-0"
}