The basic algorithm is described in a theoretical paper [21]. Some preprints are available from the author's webpage.