Computing Heegner Points

[[This section will be my take on what's in Cohen's book and Watkins paper, hopefully generalized to compute Heegner points over ring class fields (?).]]