OOZE: An Object Oriented Speci Language (1994)

by Antonio Alencar