Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1996/06/25 Vol. E79-DNo. 6 ;
pp. 820-828 Type of Manuscript: PAPER Category: Automata,Languages and Theory of Computing Keyword: natural language specification, algebraic specification, data type,