Semantics for Prolog via Term Rewrite Systems. - Jos C. M. Baeten; W. P. Weijland (CTRS, 1987)

Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract). - Rob J. van Glabbeek; W. P. Weijland (IFIP Congress, 1989)

Term-Rewriting Systems with Rule Priorities. - Jos C. M. Baeten; Jan A. Bergstra; Jan Willem Klop; W. P. Weijland (Theor. Comput. Sci., 1989)

Process algebra. - Jos C. M. Baeten; W. P. Weijland (Cambridge University Press, 1990)

Semantics for Logic Programs Without Occur Check. - W. P. Weijland (Theor. Comput. Sci., 1990)

Branching Time and Abstraction in Bisimulation Semantics. - Rob J. van Glabbeek; W. P. Weijland (J. ACM, 1996)

Bitcoin: a Money-like Informational Commodity. - Jan A. Bergstra; Peter Weijland (CoRR, 2014)