@InProceedings{vonHenke:97a,
  author =       {F.W. von Henke and M. Luther and M. Strecker},
  title =        {{\sc Typelab}: An Environment for Modular Program Development},
  booktitle =    {Proceedings TAPSOFT'97},
  editor =       {M. Bidoit, M. Dauchet},
  year =         1997,
  publisher =    {Springer LNCS 1214},
  pages =        {851--854}
}