Experience with a Modular Typed Language: PROTEL.

P. M. Cashin, Marc L. Joliat, Rym F. Kamel, D. M. Lasker

Browse the full ICSE paper archive.