Tin, Erkan and Akman, Varol (1995) Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications. [Journal (Paginated)]