Bayes estimation of the size of a finite population: capture / recapture sequential sample data - Leite, Jose Galvao; Pereira, Carlos Alberto de Bragança (International Statistical Review, 1990)