@InProceedings{vonHenke:96a,
  author =       {F.W. von Henke and M. Luther and H. Pfeifer and H. Rue{\ss}
                  and D. Schwier and M. Strecker and M. Wagner},
  title =        {The {\sc Typelab} Specification and Verification Environment},
  booktitle =    {Proceedings AMAST'96},
  editor =       {M. Wirsing, M. Nivat},
  year =         1996,
  publisher =    {Springer LNCS 1101},
  pages =        {604--607}
}