B
[BGS92] José Balcázar, Joaquim Gabarró, and Miklós Sántha. Deciding bisimilarity is P-complete. Formal Aspects of Computing 4(1 supplement):638-648. Springer-Verlag, November 1992. 
@article{fac4(1sup)-BGS,
  author =              {Balc{\'a}zar, Jos{\'e} and Gabarr{\'o}, Joaquim and
                         S{\'a}ntha, Mikl{\'o}s},
  title =               {Deciding bisimilarity is {P}-complete},
  publisher =           {Springer-Verlag},
  journal =             {Formal Aspects of Computing},
  volume =              {4},
  number =              {1 supplement},
  pages =               {638-648},
  year =                {1992},
  month =               nov,
}
List of authors