journal : Mathematical Structures in Computer Science

1 article