Grijincu, Daniela (2013) Source Code Matching for Reuse of Formal Specifications. Masters thesis, National University of Ireland Maynooth.