UMIST OBJ: a language for executable program specifications

• Authors:

• R. M. Gallimore;D. Coleman;V. Stavridou

• Affiliations:

• -;-;-

• Venue:
• The Computer Journal - Special issue: formal aspects of computing systems
• Year:
• 1989