@article{schropp2014formalization,
  title={A Formalization of the Coach Problem},
  author={Schropp, GYR and Meyer, JJ Ch and Ramamoorthy, S}
}