EasyChair Smart Slide
Practical Methods for Reasoning about Java 8's Functional Programming Features
Practical Methods for Reasoning about Java 8's Functional Programming Features