Hidetomo Nabeshima, Katsumi Inoue "Automata Theory for Action Language A" IPSJ JOURNAL 38(03)
(1997)
Languages mentioned
Action Languages
{1990}