Working Material for the Lectures of Michael Butler on Abstraction, Refinement, and Decomposition for Systems Engineering