Mining Programs and Processes