Elementary references for Birkhoff/Stone duality?