Formal techniques in artificial intelligence a sourcebook - Banerji, R.B (North-Holland Publishing Company, 1990)