Autonomous posets and quantales G. F. Mascari; F. Pucci — 1993 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications