Treffer: Proceedings of the 24th IEEE Conference on Decision & Control, December 11 - 13, 1985, Fort Lauderdale, Florida