TY  - JOUR
A1  - Polyvyanyy, Artem
T1  - Abstraction of process specifications
Y1  - 2010
SN  - 978-3-86956-036-6
ER  -