SDL (2485)

System Description Language for Eiffel/s