Labelled transition systems as a Stone space (Logical Methods in Computer Science, 2005)