Company: Partee, W. C. et al