logical structure－operation specification{=LSOS}