Text books

• The RAISE Specification Language by The RAISE Language Group, Prentice Hall, 1992.

Can be bought in DTU Informatics Reception in bldg. 321 for 300 kr.