TY  - JOUR

T1  - A single complete refinement rule for Z

JO  - J LOGIC COMPUT

PY  - 2000/10/01

AU  - Derrick J

ED  - 

VL  - 10

IS  - 5

SP  - 663

EP  - 675

Y2  - 2024/12/22

ER  -