Subject(s): Software engineering | Functional programming languages | Object-oriented programming (Computer science)
Contents:Introducing OBJ / Joseph A. Goguen ... [et al.] -- Specifying in OBJ, verifying in REVE and some ideas about time / Victoria Stavridou -- Constructing a graphics system with OBJ2 : a practical guide / Ataru T. Nakag