Reference. Presentations of premonoidal categories by devices [earnshaw-2023-presentations-of-premonoidals-talk]