S. Webster: Software specification and design: a disciplined approach for real-time systems (Wiley Series in Software Engineering Practice) : K Shumate and M Keller John Wiley (1992) 432 pp £44.95 ISBN 0 471 53296 7. Inf. Softw. Technol. 34(8): 553 (1992)