@inproceedings { Gutman20121115,
  author = "Гутман А.Е.",
  howpublished = "Электронная",
  title = "Представление и анализ объектных данных посредством перезаписывающих систем",
  booktitle = "Мальцевские чтения. Международная конференция (Новосибирск, 12--16 ноября 2012 г.): Тез. докладов",
  address = "Новосибирск",
  year = "2012",
  pages = "26",
  annote = "В рамках детерминированных префиксных перезаписывающих систем вводятся и исследуются понятия, характерные для объектно-ориентированного подхода к организации данных: наследование классов и объектов, экземпляры классов, атрибуты классов и экземпляров, концептуальная зависимость и непротиворечивость, концептуальная схема, типы, подтипы и пр. Особое внимание уделяется эффективной проверке разнообразных свойств рассматриваемых систем."
}