Yes, but the math is simple:
1) The two 2N3055 output transistors have a minimum beta of 41 when the load current is 3A.
2) Then the maximum current of the BD139 driver transistor is 3A/41= 73mA.
3) The minimum beta of the BD139 at 73mA is about 50 so its maximum base current is 73mA/50=...