Design of operating systems using the F.D.T. ESTELLE. - Oliverio González; Victor G. García; Miguel Riesco; Enrique Vázquez (FORTE, 1994)

Synchronous Estelle: Just Another Synchronous Language? - Miguel Riesco; Javier Tuya (SLAP, 2003)

Using Graphviz as a Low-cost Option to Facilitate the Understanding of Unix Process System Calls. - Miguel Riesco; Marián D. Fondón; Darío Álvarez (PVW, 2008)