Beverly A. Sanders Stepwise Refinement of Mixed Specifications of Concurrent Programs. 1-26 1990 Programming Concepts and Methods conf/ifip2/1990 db/conf/ifip2/pcm1990.html#Sanders90