Checking Experiments in Sequential Machines - AsokBhattacharya (New Delhi Wiley Eastern Limited, 1989)