A user manual of the metalanguage for the trial definition

We recall here that the formal definition of a programming language following the chosen methodology is split in two parts: denotational clauses and concurrent algebra definition; this report contains a draft User Manual of metalanguage which is used to describe both parts of the trial definition. The metalanguage consists of a "kernel part" and of a set of derived constructs. These derived constructs offer very compact forms for express frequently used combinations of for kernel constructs. Their semantic is given, whithin the user manual in the paragraphs starting with "Semantics", simply writing the corresponding combionations of kernel constructs.