Strategies for real-time system specification January 1988 ISBN 0932633110 View on Amazon Lists featuring this book (1)