@inproceedings{dinesh1994teaching,
  title={Teaching formal methods using the ASF+ SDF Meta-environment},
  author={Dinesh, T and Usküdarlı, S},
  booktitle={Proceedings of the NSF Workshop on Teaching Formal Methods},
  year={1994},
  organization={CWI}
}