Camolesi, Almir Rogério An adaptive model for spefication of distributed systems - p. 327-338 Standard No.: DIF-M3955