TY - BOOK AU - Braffort P Ed. AU - Hirschberg D Ed. TI - Computer programming and formal systems U1 - D6,8(B):R14, K3 PY - 1963/// KW - Mechanical Engineering ER -