Ordered groups proceedings of the Boise State Conference (Dekker, 1980)