(1)
Quaglia, P.; Walker, D. On Encoding P Pi in M Pi. BRICS 1998, 5.