Jan A. Bergstra;Jan Willem Klop
-;-
Fair testing
Information and Computation
SOS formats and meta-theory: 20 years after
Theoretical Computer Science