M. Badii

• A study of two formal description languages and their application to PASCAL