Books by IEEE International Frequency Control Symposium (54th 2000 Kansas City, Mo.)