Antonio L. Furtado;Paulo A. S. Veloso
-;-
An informal approach to formal specifications
ACM SIGMOD Record