Formal Software Development in Maya<pre>@incollection{AH-05-a,
  author        = {Autexier, Serge and Hutter, Dieter},
  editor        = {Hutter, Dieter and Stephan, Werner},
  booktitle     = {Festschrift in Honor of J. Siekmann},
  title         = {Formal Software Development in Maya},
  volume        = {2605},
  series        = {LNAI},
  publisher     = {Springer},
  month         = {february},
  year          = {2005},
}
</pre>