Proceedings of the 12th conference on Winter simulation, WSC 1980, Orlando, FL, USA, December 3-5, 1980