@article{Polyvyanyy2010,
  author    = {Artem Polyvyanyy},
  title     = {Abstraction of process specifications},
  year      = {2010},
}