This volume provides an introduction to computer-based system specification and design, paying particular attention to structured and formal methods, method integration, concurrency and safety-critical systems. The book consists of both original material and reprints of classic papers in the field of system specification and design. Available from Amazon USA and Amazon UK.