[1]
G. Winskel, “Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk”,
BRICS
, vol. 1, no. 1, Feb. 1994.