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