Implementing a taxis compiler (1987)