B
[BB91] Jos C. M. Baeten et Jan A. Bergstra. Real Time Process Algebra. Formal Aspects of Computing 3(2):142-188. Springer-Verlag, 1991. 
@article{fac3(2)-BB,
  author =              {Baeten, Jos C. M. and Bergstra, Jan A.},
  title =               {Real Time Process Algebra},
  publisher =           {Springer-Verlag},
  journal =             {Formal Aspects of Computing},
  volume =              {3},
  number =              {2},
  pages =               {142-188},
  year =                {1991},
}
Liste des auteurs