The semantics of standard LM Version 1: LFCS report ECS-LFCS-87-36