TITLE     : The SCEL language: design, implementation, verification
AUTHOR(S) : De Nicola R, Latella D, Lafuente Al, Loreti M, Margheri A, Massink M, Morichetta A, Pugliese R, Tiezzi F, Vandin A
TYPE      : Contribution to book
YEAR      : 2015
CODE      : 328145

*** DO NOT EDIT THIS FILE ***