Implementing a taxis compiler (Technical report CSRI, 1987)