What type of details about armando miranda can be gathered from the following bio? Bio: armando miranda -lrb- born december 12 , 1939 in sao paulo ; died april 7 , 1980 in sao paulo -rrb- was a brazilian professional football player .
A:
- clubs - caps - position - years - height - death date - birth date - name - death place - birth place - goals