Re-grouping information in a domain-theoretic data model.Published in:Mathematical Structures in Computer Science, 1998, v. 8, n. 1, p. 67, doi. 10.1017/s0960129597002478By:PUHLMANN, HERMANNPublication type:Article
Very abstract specifications: a formalism independent approach.Published in:Mathematical Structures in Computer Science, 1998, v. 8, n. 1, p. 17, doi. 10.1017/s0960129597002466By:CERIOLI, MAURA;REGGIO, GIANNAPublication type:Article