Modeling monotone nonlinear disease progression and checking the correctness of the associated softwareSamantha Rachel Cook · First published 2003Open the Tome
