W. Guttmann, H. Partsch, W. Schulte, T. Vullinghs: Tool Support for the Interactive Derivation of Formally Correct Functional Programs /jucs_9_2/tool_support_for_the
H. Liu, A. Abraham: An Hybrid Fuzzy Variable Neighborhood Particle Swarm Optimization Algorithm for Solving Quadratic Assignment Problems /jucs_13_9/an_hybrid_fuzzy_variable