OBJ is a programming language family introduced by Joseph Goguen in 1976, and further worked on by Jose Meseguer.