Knowledge in acyion : logical foundation for speciffing and implementing dynamical systems - Reiter, Raymond (Delhi : Vikas Publisher, 1994)
Keywords: Special computer methods