Mathematical Structures in Computer Science, ‎0960-1295

Journal