The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference. 论文
1959IFIP Congress引用 351
Logic, programming, and type systemsModel-Driven Software Engineering TechniquesAdvanced Database Systems and Queries