Pda Technical Report 39 ⇒