%0 Journal Article 
%F ghmc2003
%A Ghica, Dan R.
%A McCusker, Guy
%T The regular-language semantics of second-order idealized A$_{{LGOL}}$
%J Theor. Comput. Sci
%V 309
%N 1
%P 469-502
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/ghica2003a.pdf
%U http://dx.doi.org/10.1016/S0304-3975(03)00315-3
%D 2003
%K regexp