![]() | Up a level |
Chalin, Patrice (1996) On the language design and semantic foundation of LCL, a Larch/C interface specification language. PhD thesis, Concordia University.
Chalin, Patrice (1989) A case study of the formal development of an object manager. Masters thesis, Concordia University.