Jumig, Judith C. (1995) An object-based extension of the Janus language and its formal specification. Masters thesis, De La Salle University - Dasmariñas.