num_pages: 429
title: Top-Down Calculus: A Concise Course
publisher: Computer Science Pr