North-Holland
Science of Computer Programming
Sci. Comput. Program.
Computer Security

de Boer, F. (2012). Connectors as designs: Modeling, refinement and test case generation. Science of Computer Programming, 77(7-8).