The development of semantic functions for a system description language with multiple interpretations (1994)

by M Seutter