Isomorphic Embeddings of Abstract Interval Systems. Reliable Computing 3 (1997)

by M Markov