@inproceedings { Gutman20121115,
  author = "Gutman A.E.",
  howpublished = "Electronic",
  title = "Representation and analysis of object-oriented data by means of rewriting systems",
  booktitle = "Mal'tsev Meeting. International Conference (Novosibirsk, November 12--16, 2012)",
  address = "Novosibirsk",
  year = "2012",
  pages = "26",
  language = "russian",
  annote = "In the framework of deterministic prefix rewriting systems, the notions are introduced and studied which are typical for the object-oriented approach to data organization: inheritance of classes and objects, instances of classes, class and instance attributes, conceptual dependence and consistency, conceptual scheme, types and subtypes, etc. A special attention is paid to the effective verification of various properties of the rewriting systems under consideration."
}