scholarly article
Not who you're looking for? Others named Formal methods: mathematical program specification intended to allow correct