@book{martioliet:hal-01485894,
  TITLE = {{Recent Trends in Algebraic Development Techniques}},
  AUTHOR = {Mart{\'i}-Oliet, Narciso and Palomino, Miguel},
  URL = {https://inria.hal.science/hal-01485894},
  PUBLISHER = {{Springer}},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {LNCS-7841},
  YEAR = {2013},
  DOI = {10.1007/978-3-642-37635-1},
  HAL_ID = {hal-01485894},
  HAL_VERSION = {v1},
}