@InProceedings{Wel+Dim+Mul+Tur:TAPSOFT-1997,
  author =       {J.~B. Wells and Allyn Dimock and Robert Muller and
                  Franklyn Turbak},
  title =        {A Typed Intermediate Language for Flow-Directed
                  Compilation},
  series =        {Lecture Notes in Computer Science},
  booktitle =    "TAPSOFT'97: Theory and Practice of Software Development,
                  Proc. 7th International Joint Conference CAAP/FASE",
  year =         "1997",
  publisher =    {Springer-Verlag}
}