Autonomous posets and quantalesG. F. Mascari and F. PucciRAIRO-Theor. Inf. Appl., 27 6 (1993) 483-501DOI: https://doi.org/10.1051/ita/1993270604831
