TITLE     : Architecture Specification in TODOS
AUTHOR(S) : Castelli D, Meghini C, Musto D
TYPE      : Contribution to book
YEAR      : 1990
CODE      : 268485

*** DO NOT EDIT THIS FILE ***