Introducing OBJ (1992)