Publications

• B. Diertens. Refinement in the Function-Behaviour-Structure Framework (version 2), electronic report TCS1301v2, section Theory of Computer Science - University of Amsterdam, february 2015
  PDF
  

• B. Diertens. Composition in the Function-Behaviour-Structure Framework, electronic report TCS1501, section Theory of Computer Science - University of Amsterdam, april 2015
  PDF