These slides are available from the elucidative programming home page
Both the Scheme Elucidator and the Java Elucidator are free and open software