Pasor, O. "Oasis: an object-oriented specification language," Hewlett- Packard Labs., Bristol, UK, Tech. Rep. HPL-91-48, 1991

Languages mentioned

• OASIS {0}