Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer. Model Based Testing with Logical Properties versus State Machines. In Andy Gill, Jurriaan Hage, editors, Implementation and Application of Functional Languages - 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers. Volume 7257 of Lecture Notes in Computer Science, pages 116-133, Springer, 2011. [doi]