TY - RPRT TI - A Model-Theoretic Approach to Modular Implementation, with Application to Biological Systems AU - Leo Marcus PY - 2019 UR - https://arxiv.org/abs/1907.05529 ID - 1907.05529 ER -