@Book{HU:69,
author= "J. E. Hopcroft and J. D. Ullman",
title= "Formal Languages and their Relation to Automata",
year= "1969",
publisher= "Addison-Wesley",
address= "Reading, Mass."}

@Book{AHU:74,
author= "A. V. Aho and J. E. Hopcroft and J. D. Ullman",
title= "The Design and Analisys of Computer Algorithms",
year= "1974",
publisher= "Addison-Wesley",
address= "Reading, Mass."}

@Book{GareyJohnson:1979,
author= "G. Garey and D. S.Johnson",
title= "Computers and Intractability",
year= "1979",
publisher= "Freeman",
address= "San Francisco"}

@Article{Del:98,
author= "M. Delgado",
title= "Abelian pointlikes of a monoid",
journal= "SF",
volume= "56",
year= "1998",
pages= "127-146"}

@Article{Del:01,
author= "M. Delgado",
title= "Commutative images of rational languages and the Abelian kernel of a monoid",
journal= "Theoretical
Informatics and Applications",
volume= "35",
year= "2001",
pages= "419-435"}

@Techreport{AMORE:95,
author= "O. Matz and A. Miller and A. Potthoff and W. Thomas and E. Valkema",
title= "Report on the program AMoRe",
year= "1995",
institution= "Christian Albrechts Universit{\"a}t, Kiel",
number= "9507"}

@book{Sims:94,
      Author = "C.~C. Sims",
      Title = "Computation with Finitely Presented Groups",
      Publisher = {Cambridge University Press},
      Year = {1994}
}

@Article{Ash:91,
author= "C. J. Ash",
title= "Inevitable graphs: a proof of the type {II} conjecture and some related decision procedures",
journal= "Int. J. of Algebra and Computation",
volume= "1",
year= "1991",
pages= "127-146"}

@Book{Al:95,
author= "J. Almeida",
title= "Finite Semigroups and Universal Algebra",
year= "1995",
note= "English translation",
keywords= "finite semigroup, rational language, pseudovariety, implicit operation",
publisher= "World Scientific",
address= "Singapore"}


@Article{DF:00,
author= "M. Delgado and V. H. Fernandes",
title= "Abelian kernels of some monoids of injective partial transformations and an application",
journal= "Semigroup Forum",
volume= "61",
year= "2000",
pages= "435--452"}

@Techreport{KoutsofiosNorth:2002,
author= "D. Dobkin and J. Ellson and E. Gansner and E. Koutsofios and 
S. North and G. Woodhull",
title= "Graphviz - Graph Drawing Programs",
institution= "AT\&T Research and Lucent Bell Labs", 
year = "2002",
note         = "(http://www.research.att.com/sw/tools/graphviz)",
keywords     = " "}

@Article{MSW:2001,
author= "S. Margolis and M. Sapir and P. Weil",
title= "Closed subgroups in pro-{V} topologies and the extension problem for
  inverse automata",
journal= "Int. J. of Algebra and Computation",
volume= "11",
year= "2001",
pages= "405--445"}

@Article{KM:2002 ,
author= "I. Kapovich and A. Myasnikov",
title= "Stallings foldings and subgroups of free groups",
journal= "J. of Algebra",
volume= "248",
year= "2002",
pages= "608--668"}