Aumentare spazio / interlinea righe in lstlisting

Ho provato in tutti i modi ad aumentare l’interlinea nell’ambiente lstlisting al fine di rendere lo pseudo codice più leggibile. Nessun risultato.
Posto il codice puro, così da evitare problematiche con soluzioni inadatte.

PS: che dipenda dal fatto che uso mathescape = true la mancata interlinea maggiore??

`
\documentclass[11pt,a4paper,oneside]{book}

\usepackage[utf8]{inputenc}
\usepackage[italian,english]{babel}

\usepackage{listings}

\usepackage{algpseudocode}
\usepackage{algorithm}

\begin{document}

\lstset{language=Pascal}

\lstset{tabsize=3}
\begin{lstlisting}[mathescape=true]
procedure CONTROLLA(A,n)
begin
for all i where $ 1 \leq i \leq n $ do in parallel
Replica(riga i-esima di R, $ a_i $, n)
for all j where $ 1 \leq j \leq n $ do in parallel
Replica(colonna j-esima di S, $ a_j $, n)
for k = 0 to log n – 1 do
for all i,j where $ 1 \leq i \leq \frac{n}{log n}, 1 \leq j \leq n $ do in parallel
if $ R_{} = S_{} $
then $ V_{} = 1 $
else $ V_{} = 0 $

for all j where $ 1 \leq j \leq n $ do in parallel
$ P_j $ = Sommatoria(j-esima colonna di V,n)
for all i where $ 1 \leq i \leq n $ do in parallel
$ C_{i,1} = a_i $
$ C_{i,2} = P_i $
for all i where $ 1 \leq i \leq n $ do in parallel
Replica(riga i-esima di CR, $ C_i $, n)
for all j where $ 1 \leq j \leq n $ do in parallel
Replica(colonna j-esima di CS, $ C_j $, n)

for k = 0 to log n -1
for all i,j where $ 1 \leq i \leq \frac{n}{log n}, 1 \leq j \leq n $ do in parallel
if $ CR_{1} != CS_{1} $
AND $ CR_{2} = CS_{2} $
then $ SV_{} = 1 $
else $ SV_{} = 0 $
\end{lstlisting}

\end{document}
`