TY  - GEN
AU  - Riesco,Daniel
TI  - Modelling of processes and formal methods
ER  -