Safety, Translation and Evaluation of Alignment Calculus.

Gösta GrahneMatti Nykänen
Published in: ADBIS (1997)