Isolation of polymorphic tetranucleotide microsatellite markers for the grey-headed robin (Poecilodryas albispecularis)

We isolated 12 polymorphic microsatellite markers for the grey-headed robin Poecilodryas albispecularis from genomic libraries enriched for (AAGG)n and (AACC)n repetitive elements and characterized them in 12 individuals. The number of alleles ranges from three to nine per locus with the observed heterozygosity ranging from 0.33 to 0.90. These markers will be useful for analysis of questions concerning population genetic structure and testing models of speciation.

Refining exceptions using King and Morgan's exit construct

In this paper we discuss the refinement of exceptions. We extend the Guarded Command Language normally used in the refinement calculus, with a simple exception handling statement, which we model using King and Morgan's exit statement (1995). We derive some variants of King and Morgan's refinement laws for their exit statement, and illustrate the approach with an example of a refinement of a simple program.