B
[BMP10] Laura Bozzelli, Aniello Murano, and Adriano Peron. Pushdown module checking. Formal Methods in System Design 36(1):65-95. Springer-Verlag, February 2010. 
@article{fmsd36(1)-BMP,
  author =              {Bozzelli, Laura and Murano, Aniello and Peron,
                         Adriano},
  title =               {Pushdown module checking},
  publisher =           {Springer-Verlag},
  journal =             {Formal Methods in System Design},
  volume =              {36},
  number =              {1},
  pages =               {65-95},
  year =                {2010},
  month =               feb,
}
List of authors