Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Friedrich, Stefan Programming Logics, MPI for Informatics, Max Planck Society;
Basin, D. A., & Friedrich, S. (1999). Modeling a Hardware Synthesis Methodology in Isabelle. Formal Methods in Systems Design, 15(2), 99-122.