Classification of DI Process Specifications

Tom Verhoeff

Faculty of Mathematics and Computing Science