Stepwise refinement of distributed systems models, formalisms, correctness
Workshop on Stepwise Refinement of Distributed Systems, Mook, 1989 J W Bakker
Berlin Springer 1990
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.430 e.1 ) e outros locais(Acessar)