✓

@Book{            book:944713,
  Author        = {F{\"u}l{\"o}p, Zolt{\'a}n and Vogler, Heiko},
  date-added    = "2023-01-21 08:59:43 +0100",
  date-modified = "2023-01-21 09:00:54 +0100",
  ISBN          = "978-3-642-72250-9,978-3-642-72248-6",
  Publisher     = "Springer",
  Series        = "Monographs in Theoretical Computer Science. An EATCS Series",
  Title         = "Syntax-Directed Semantics: Formal Models Based on Tree Transducers",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=2a898bc77b2733fe0f9e01912e5fbbe5",
  Year          = "1998",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=2a898bc77b2733fe0f9e01912e5fbbe5",
  File          = "Syntax-Directed Semantics- Formal Models Based on Tree Transducers.pdf"
}

@Book{ book:944713, Author = {F{\"u}l{\"o}p, Zolt{\'a}n and Vogler, Heiko}, date-added = "2023-01-21 08:59:43 +0100", date-modified = "2023-01-21 09:00:54 +0100", ISBN = "978-3-642-72250-9,978-3-642-72248-6", Publisher = "Springer", Series = "Monographs in Theoretical Computer Science. An EATCS Series", Title = "Syntax-Directed Semantics: Formal Models Based on Tree Transducers", URL = "http://gen.lib.rus.ec/book/index.php?md5=2a898bc77b2733fe0f9e01912e5fbbe5", Year = "1998", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=2a898bc77b2733fe0f9e01912e5fbbe5", File = "Syntax-Directed Semantics- Formal Models Based on Tree Transducers.pdf" }