Winskel, G. (1994) “Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk”, BRICS Report Series, 1(1). doi: 10.7146/brics.v1i1.21669.