Sound and Complete Hoare-like Calculi Based on Copy Rules.

Ernst-Rüdiger Olderog Sound and Complete Hoare-like Calculi Based on Copy Rules. 161-197 1981 16 Acta Inf. db/journals/acta/acta16.html#Olderog81