26531 Luca Bernardinello/Lucia Pomello/Stefania Rombola': Orthomodular lattices induced
by the concurrency relations. Internet 2009, 10p.