Albert Camilleri has written:
'Hardware verification using higher-order logic'
Juanito Camilleri has written: 'An operational semantics for OCCAM'
B. J. Camilleri has written: 'Practice and procedure of the High Court and Federal Court of Australia' -- subject(s): Court rules, Procedure (Law)
Albert Gold has written: 'Albert Gold'
Albert Maquet has written: 'Albert Camus'
Albert Lorenz has written: '\\'
Albert Franck has written: 'Albert Franck in retrospect'
Albert Michaud has written: 'Henniez'
Albert Junyent has written: 'Aiguabarreig'
Albert Heintz has written: 'Parsifal'
Salvador Albert has written: 'Afinitats'
Anne Albert has written: 'Solstice'
Albert Verbeek has written: 'Schwarzrheindorf'