Energy resources and conservation related to built environment proceedings of the International Conference on Energy Resources and Conservation Related to Built Environment, December 7-12, 1980, Miami Beach, Florida (Pergamon Press, 1980)