The implementation of a system description language and its semantic functions - Reeuwijk, Cornelis van (Technická univerzita, 1991)