@article{Authenticus:P-000-X4X,
title = {{Counting a type's (principal) inhabitants}},
author = {S Broda and L Damas},
journal = {Fundamenta Informaticae},
number = {1-2},
pages = {33-51},
publisher = {Ios Press},
type = {Article},
volume = {45},
year = {2001}
}