They are not fully explicit about it, just talking about Bartok and MDIL as if invented for WP 8, but they are scattered all over Singularity documentation and papers, so it is quite obvious where they come from.