Modeling and Validation of Tasks with Algebraic Structured Nets. - Didier Buchs; C. Buffard; Pascal Racloz (Ada-Europe, 1995)