Saaltink, M. "A FORMAL DESCRIPTION OF VERDI" Odyssey Research Associates Inc, Ottawa ONT (CAN) Technical Report TR-89-5429-10; 15 Oct 1989

Languages mentioned

• Verdi {1990}