Almost Ideal Clocks in Quantum Cosmology: A Brief Derivation of Time
  A formalism for quantizing time reparametrization invariant dynamics is considered and applied to systems which contain an `almost ideal clock.' Previously, this formalism was successfully applied to the Bianchi models and, while it contains no fundamental notion of `time' or `evolution,' the approach does contain a notion of correlations. Using correlations with the almost ideal clock to introduce a notion of time, the work below derives the complete formalism of external time quantum mechanics. The limit of an ideal clock is found to be closely associated with the Klein-Gordon inner product and the Newton-Wigner formalism and, in addition, this limit is shown to fail for a clock that measures metric-defined proper time near a singularity in Bianchi models. 
Donald Marolf