Workshop on Quantitative Software Models (1979 Kiamesha Lake, N.Y.)