L.: The structure of multiplicatives. Archive for Mathematical Logic 28 (1989)

by V Danos, Regnier