Describes about how to design parallel programs from their specification. This book follows from the Owicki/Gries theory and can be put to work for the formal development of multiprograms regardless of whether these algorithms are distributed or not.