  A discussion is given of the quantisation of a physical system with finite
degrees of freedom subject to a Hamiltonian constraint by treating time as a
constrained classical variable interacting with an unconstrained quantum state.
This leads to a quantisation scheme that yields a Schrodinger-type equation
which is in general nonlinear in evolution. Nevertheless it is compatible with
a probabilistic interpretation of quantum mechanics and in particular the
construction of a Hilbert space with a Euclidean norm is possible. The new
scheme is applied to the quantisation of a Friedmann Universe with a massive
scalar field whose dynamical behaviour is investigated numerically.
