Proceedings of the 42nd Annual Frequency Control Symposium, 1988.