Designing a real-time target tracking system with higher order logic | Publicación