Language handbook : a guide to notations in M355.