Authors: BREUER PT KLOOS CD LOPEZ AM MADRID NM FERNANDEZ LS

Citation: Pt. Breuer et al., A REFINEMENT CALCULUS FOR THE SYNTHESIS OF VERIFIED HARDWARE DESCRIPTIONS IN VHDL, ACM transactions on programming languages and systems, 19(4), 1997, pp. 586-616

Authors: BREUER PT BOWEN JP

Citation: Pt. Breuer et Jp. Bowen, A PRETTIER COMPILER-COMPILER - GENERATING HIGHER-ORDER PARSERS IN C, Software, practice & experience, 25(11), 1995, pp. 1263-1297

Authors: BREUER PT BOWEN JP

Citation: Pt. Breuer et Jp. Bowen, DECOMPILATION - THE ENUMERATION OF TYPES AND GRAMMARS, ACM transactions on programming languages and systems, 16(5), 1994, pp. 1613-1647

Authors: BOWEN JP BREUER PT LANO KC

Citation: Jp. Bowen et al., FORMAL SPECIFICATIONS IN SOFTWARE MAINTENANCE - FROM CODE TO Z++ AND BACK AGAIN, Information and software technology, 35(11-12), 1993, pp. 679-690