EBFA1B93-C59D-4141-B139-8A8F6FBA0C10STRATA; Layers for Structuring Trustworthy Ambient SystemsResearch GrantEP/N023641/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL965298B242D6D5-2C64-4F06-AB1D-7CF5EA274BF3Programming Systems - Historical and Philosophical Aspects852ec90f7dc29c4ae546cf63ec2a01f3Astarte T2018-01-01Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context71-141Book Chapter5c617a63bf8c96.46176547