Pure and Lazy Lambda Mining - Wu, N; aes, J; Bransen, J; Swierstra, W (2013)