The ProC/B-Approach from informal descriptions to formal models.

Peter Buchholz Falko Bause Carsten Tepper The ProC/B-Approach from informal descriptions to formal models. 328-334 2004 ISoLA (Preliminary proceedings) conf/isola/2004i db/conf/isola/isola2004i.html#BuchholzBT04