Proceedings (Institute of Electrical and Electronics Engineers ; Available from IEEE Service Center, 1980)