Producing prototypes from CO-OPN specifications. - Didier Buchs; Jacques Flumet; Pascal Racloz (RSP, 1992)

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