software implementation Appears in 2 extracted records. Back to Methods. Representative papers Kircher’s Mechanical Composer: A Software Implementation (2009) A Formal Approach for High-Level Automatic Rhythm Generation (2011)