Jian Chen, Bohdan Durnota Type Checking Classes in Object-Z to Promote Quality of Specifications. [Citation Graph (0, 0)][DBLP] Software Quality and Productivity, 1994, pp:99-106 [Conf]
Sea Ling, Bohdan Durnota A Comparison of Techniques for Specifying Concurrent Systems Using the Object-Oriented Paradigm. [Citation Graph (0, 0)][DBLP] TOOLS (12/9), 1993, pp:155-177 [Conf]