Proceedings of the 1st International Workshop on Formal Methods in Engineering Design, Manufacturing, and Assembly : January 15-17, 1990, The Broadmoor Hotel, Colorado Springs, Colorado