Update README.md

Author: dlucanu

README.md

@@ -5,6 +5,9 @@ Some references:
 ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings. Lecture Notes in Computer Science, vol. 13572, pp. 290–304. Springer (2022). https://doi.org/10.1007/978-3-031-17715-6“ ̇19
 2. Lungu, A., Lucanu, D.: _Supporting algorithm analysis with symbolic execution in Alk_. In: Ameur, Y.A., Craciun, F. (eds.) Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Proceedings. Lecture Notes in Computer Science, vol. 13299, pp. 406–423. Springer (2022), https://doi.org/10.1007/978-3-031-10363-6 27
 
+Read the [reference manual](../../wiki/Reference-Manual) to review the Alk syntax.
+Also consider the [Alk-by example](../../wiki/Alk-by-examples) wiki to understand how Alk behaves in real-scenarios.
+
 # Using the Alk VS Code Extension
 1. Install VS Code from the official [page](https://code.visualstudio.com/download).
 2. In the Extensions tag in the left side, check for the "Alk Visual Studio Code Extension" and install.
@@ -54,8 +57,6 @@ Optionally (and remmended) is to create a symbolic link named `alki`:
     ```
     ln -s ../../bin/alki.sh ../../bin/alki
     ```
-Read the [reference manual](../../wiki/Reference-Manual) to review the Alk syntax.
-Also consider the [Alk-by example](../../wiki/Alk-by-examples) wiki to understand how Alk behaves in real-scenarios.
 
 # Set Alk in PATH system variable
 * Linux/Mac OS: