Here's a slide deck from the Technical University of Dresden that goes into it a little in English language: https://st.inf.tu-dresden.de/files/teaching/ss11/sw

Here's a slide deck from the Technical University of Dresden that goes into it a little in English language: https://st.inf.tu-dresden.de/files/teaching/ss11/swt/Vorlesungen/46-quasar-2x2.pdf https://st.inf.tu-dresden.de/files/teaching/ss11/swt/Vorlesu... If you are interested I can look for some older material, just shoot me an e-mail. Yes, I understood that type 0 does exactly what you describe - Covering the edges of type T and type A systems.