@Proceedings{RelMiCS1998,
  title = 	 {Relational Methods for Computer Science Applications},
  year = 	 2001,
  editor = 	 {E. Orlowska and A. Szalas},
  address = 	 {Heidelberg},
  publisher =	 {Springer-Physica Verlag},
  ISBN = {3-7908-1365-6},
  ISSN = {1434-9922}
}