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