Cameron Beebe: Model-Based Computation. UCNC 2016: 75-86