Hi, Does anyone have a PASCAL-like language's semantics definition defined in TYPOL? Would you please send me a copy of that. It is very appreciated is very helpful. ---Rongliang