Please read chapters 8 & 9 from Van Drunen's book found at:  http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.115.9659&rep=rep1&type=pdf