Montages specifications of realistic programming languages (1997)

by Philipp W. Kutter, Alfonso Pierantonio
Venue:JOURNAL OF UNIVERSAL COMPUTER SCIENCE