TY - BOOK AU - Bhattacharyya, A. TI - Checking experiments in sequential machine U1 - 629.892 PY - 1989/// CY - New Delhi. PB - WEL. ER -