How to Add Loop (Counter) to a Schema in Z Specification Language?

Question

I want to add a loop or counter to the schema now suppose I want to add birthdays until limit =10 in addBirthday Schema how could I do this? or may be any other example such