M: Unique existence, approximate solutions, and countable (2003)

by P Schuster