Arellano, Rene C. (1994) Best-first search as the simplification of weighted process algebra extension. Masters thesis, De La Salle University - Dasmariñas.