These slides are available from the elucidative programming home page
Both the Scheme and Java Elucidators are pieces of free software