The Quintus documentation set is here. The sections I had a hand in writing I also, in general, designed and implemented the corresponding software.