Harlan D. Mills: Function Semantics for Sequential Programs. (1980)conf/ifip/Mills80Function Semantics for Sequential Programs.1Harlan D. Mills1241-250IFIP CongressIFIP Congress19801980provenance information for RDF data of dblp record 'conf/ifip/Mills80'2019-07-26T22:58:49+0200