Refinement−Friendly Bigraphs and Spygraphs - Goldsmith, M; Creese, S (IEEE, 2010)