@Techreport{Mun99SRI01, 
 Author = "C{\'e}sar Mu{\~{n}}oz", 
 Title = "{PBS}: Support for the {B}-Method in {PVS}", 
 Institution = {SRI International}, 
 Month = {February}, 
 Number = {SRI-CSL-99-01}, 
 Year = {1999}}