Similar Items: Formal description of programming concepts :