Implementation, Applications is a broad survey of the theory and applications of its