碑包括William Clinger的1981年学位论文，介入了基于的指称语义，和Gul Agha的1985年学位论文，它进一步的发展了基于transition的语义模型，补充了Clinger的模型。这些工作导致了的全面发展。主要的软件实现工作是麻省理工学院（MIT）消息传递语义小组的Russ Atkinson、Giuseppe Attardi、Henry Baker、Gerry Barber、Peter Bishop、Peter de Jong、Ken Kahn、Henry Lieberman、Car